Characterizing NC1 with Typed Monoids
arxiv.org·2d
🔶Cubical Type Theory
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·19h·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·2d
🔗Functional Compilers
Presheaf automata
arxiv.org·2d
🎯Automata theory
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
The theorem on formal functions
math.columbia.edu·4d
⚔️Lean Theorem
The Price of Intelligence
cacm.acm.org·15h
💻Local LLMs
DianJin-OCR-R1: Enhancing OCR Capabilities via a Reasoning-and-Tool Interleaved Vision-Language Model
arxiv.org·5h
🤖Advanced OCR
Unification
eli.thegreenplace.net·2d·
Discuss: Hacker News
🤝Unification Algorithms
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·5h
🔲Cellular Automata
How I learn about generative AI
blog.pamelafox.org·1d·
Discuss: www.blogger.com
🎧Learned Audio
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·1d
🔲Proof Irrelevance
LLMs Are Letter-Blind and Here's Why Enterprises Should Care
viveksgag.substack.com·6h·
Discuss: Substack
💻Local LLMs
Why Lightweight Language Models Might Be More Important Than Ever
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
Categorical Policies: Multimodal Policy Learning and Exploration in Continuous Control
arxiv.org·5h
🔲Cellular Automata
A brief consideration of input shapes (fuzzing)
addisoncrump.info·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Friday 10 October 2025 - 11am
informatics.ed.ac.uk·1d
🧠Machine Learning
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·2d
🔗Parser Combinators
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·5h
🎯Performance Proofs
MHSNet:An MoE-based Hierarchical Semantic Representation Network for Accurate Duplicate Resume Detection with Large Language Model
arxiv.org·5h
🔍Vector Forensics